home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test44.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  404 b   |  21 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. /* environment trimming */
  5.  
  6. main :- a(X1, X2, X3, X4, X5, X6),
  7.     b(X1, X2, X3, X4, X5, X6),
  8.     c(X1, X2, X3, X4, X5, X6),
  9.     write(X6), nl.
  10.     
  11. a(X1, X2, X3, X4, X5, X6).
  12.  
  13. b(X1, X2, X3, X4, X5, X6) :-
  14.     X1 = [Y1|X2],
  15.     X2 = [Y2|X3],
  16.     X3 = [Y3|X4],
  17.     X4 = [Y4|X5],
  18.     X5 = [Y5|X6].
  19.  
  20. c(X1, X2, X3, X4, X5, X6) :- X1 = [1, 2, 3, 4, 5 | ok].
  21.